Higher category theory - PDFSEARCH.IO - Document Search Engine

Higher category theory
Results: 120

#	Item
51	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga y Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-12-22 08:04:21 Category theory Recursion Higher-order functions Functional programming Functions and mappings Fold Anamorphism Catamorphism Map Mathematics Declarative programming Software engineering
52	Theory and Applications of Categories, Vol. 25, No. 10, 2011, pp. 251–275. HIGHER CATEGORIFIED ALGEBRAS VERSUS BOUNDED HOMOTOPY ALGEBRAS DAVID KHUDAVERDYAN, ASHIS MANDAL, AND NORBERT PONCIN Abstract. We deﬁne Lie 3- Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2011-06-17 14:37:53 Lie algebras Algebras Lie groups Adjoint functors Functor Representation theory Equivalence of categories Universal property Tensor product Abstract algebra Mathematics Category theory
53	Chapter 8 Algebraic Methods for Optimization Problems Richard Bird, Jeremy Gibbons and Shin-Cheng Mu Abstract. We argue for the beneﬁts of relations over functions for modelling programs, and even more so for modellin Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2003-08-20 02:35:09 Higher-order functions Category theory Fold Recursion Function Map Surjective function Homomorphism Anamorphism Mathematics Mathematical analysis Functions and mappings
54	[PERFORMANCE TASK BEING EVALUATED] [Highest Score Category Label] [Higher-Middle Score Category Label] [Lower-Middle Score Category Label] [Lowest Score Category Label] Scoring Criteria 3 2 1 0 Weight Add to Reading List Source URL: www.coloradoplc.org Language: English - Date: 2013-09-11 14:24:51 Rubric Decision theory Operations research Education Criterion Knowledge
55	Applicative functors and fully transparent higher-order modules Xavier Leroy INRIA B.P. 105, Rocquencourt, 78153 Le Chesnay, France. [removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Functors Adjoint functors Homological algebra Standard ML Monad Limit Free object Denotational semantics Sheaf Abstract algebra Category theory Mathematics
56	Higher-Dimensional Category Theory The architecture of mathematics Eugenia Cheng November 2000 Add to Reading List Source URL: cheng.staff.shef.ac.uk Language: English - Date: 2006-10-26 07:29:37 Mathematical logic Conceptual system Algebra Theory Mathematician Emmy Noether Mathematical analysis Philosophy of mathematics Areas of mathematics Mathematics Science Category theory
57	Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience∗ Timothy Porter† Ronald Brown Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2013-02-16 17:57:26 Functors Diagram Limit Duality Function Coproduct Cone Morphism Commutative property Mathematics Category theory Mathematical analysis
58	The intuitions of higher dimensional algebra for the study of structured space∗ Ronald Brown and Timothy Porter School of Computer Science Bangor University Gwynedd LL57 1UT, UK Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2009-01-20 10:10:07 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Seifert–van Kampen theorem Higher-dimensional algebra Homotopy group Abstract algebra Mathematics Algebra
59	Policy Governance Category: Governance Number: Add to Reading List Source URL: fnuniv.ca Language: English - Date: 2014-03-28 15:14:53 Government Policy European Union Federal Reserve System Governance Political philosophy Governance in higher education Politics Sociology Decision theory
60	Policy Governance Category: Governance Number: Add to Reading List Source URL: www.fnuniv.ca Language: English - Date: 2014-03-28 15:14:53 Government Policy European Union Federal Reserve System Governance Political philosophy Governance in higher education Politics Sociology Decision theory

UPDATE